La Preuve par Jean-Jacques : un « fou littéraire » juge Rousseau

The Problem of Evil in the Thought of Jean-Jacques Rousseau

Throughout all of Rousseau’s works there is tension between reason and conscience. Reason binds men when they think correctly, but divides them when they place it at the service of self-interest. Conversely, the universality of conscience is immediate and transparent: it transmits the truth of the existence of God and of the universal principles that underlie human action, despite the differenc...

Logos and Ethos: The Civil Religion in the Political Philosophy of Jean-Jacques Rousseau

This article explores the concept of civil religion from the perspective of Jean-Jacques Rousseau. It starts with a discussion of the essence of sovereignty as the implementation of general will, which, the author explains, is manifested in the obedience of the laws. The article then discusses the way in which, in Rousseau’s view, institutional mechanisms work and thereupon explores how he envi...

The "Jean Jacques Rousseau" Institute and the Training of Teachers of Sub-Normal Children

\S The following account of the way in which the Jean Jacques Rousseau Institute in Geneva is dealing with the problem of the training of teachers of defective children , is a translation of an article written by M. Pierre Bovet, and. published in pamphlet form. He expressly states that his object in drawing attention to the subject is that it may induce others to make still further efforts, so...

Un modèle de l'assistant à la preuve: PAF!

We propose a semantic model of PAF!, a proof assistant dedicated to program verification focused on the functional fragment of ML. In particular, we model the strong typing predicate, specific to the PAF! system. From the semantic correctness of the system, we prove the consistency of the formalism, as well as the termination property for all strongly typed programs (as defined in the system). ...

Rousseau and Criticism Rousseau et la Critique